Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
471	Research Proposal for the Degree of Master of Science in Applied Mathematics Parallel Preconditioners for MODFLOW Together with Deltares, the United States Geological Survey (USGS) is evaluating parallel solution strateg Add to Reading List Source URL: ta.twi.tudelft.nl Language: English - Date: 2013-11-29 07:57:00 Numerical linear algebra Geology MODFLOW United States Geological Survey Aquifers Computer programming Groundwater flow equation Preconditioner OpenMP Domain decomposition methods Computing Hydrology
472	Introduction to Differential and Riemannian Geometry François Lauze 1 Department of Computer Science Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2009-08-19 02:05:28 Algebra Differential calculus Differential topology Differentiable manifold Geodesic Manifold Generalizations of the derivative Space Riemannian manifold Mathematics Mathematical analysis Differential geometry
473	Microsoft Word - EasyTempdoc Add to Reading List Source URL: www.vernier.com Language: English - Date: 2014-06-06 09:48:06 Computer algebra systems Mathematics Computing TI-Nspire series Office equipment TI-84 Plus series Vernier Software & Technology Texas Instruments TI Connect Graphing calculators Programmable calculators Technology
474	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
475	Boolean Logic Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 1: Boolean Logic Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-24 08:06:04 Mathematics Logic gates Digital circuits AND gate OR gate Boolean function Multiplexer Negated AND gate Boolean algebras canonically defined Mathematical logic Boolean algebra Algebraic logic
476	OPTIMIZATION GENERAL ALGEBRAIC MODELING SYSTEM High-Level Modeling The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems. GAMS is tailored for complex, large-s Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-06-17 04:20:11 Numerical analysis Applied mathematics General Algebraic Modeling System Renewable energy BARON Operations research Mathematical software Computer algebra systems
477	Microsoft Word - EasyData 2 Guidebook Master _printcustom_.doc Add to Reading List Source URL: www2.vernier.com Language: English - Date: 2011-08-02 19:43:27 Office equipment Mathematics Computing Computer algebra systems Texas Instruments Vernier Software & Technology TI-83 series TI-84 Plus series Calculator Programmable calculators Graphing calculators Technology
478	Offline Submission with RSA Time-Lock Puzzles Yves Igor Jerschow Martin Mauve Add to Reading List Source URL: wwwcn.cs.uni-duesseldorf.de Language: English - Date: 2014-01-09 02:12:40 Public-key cryptography Modular arithmetic Computer arithmetic Electronic commerce RSA Modular exponentiation Montgomery reduction Exponentiation by squaring Eternity II puzzle Cryptography Mathematics Abstract algebra
479	Microsoft Word - GO-MOT Add to Reading List Source URL: www.vernier.com Language: English - Date: 2015-06-09 16:40:36 Computer algebra systems Computer hardware Computing TI-Nspire series Vernier Software & Technology TI-83 series TI-84 Plus series TI Connect TI InterActive! Graphing calculators Programmable calculators Technology
480	CMCSInfinitary Howe’s Method Paul Blain Levy 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:17 Theoretical computer science Algebraic topology Philosophical logic Deduction Entailment Metalogic Preorder Bisimulation Sheaf Mathematics Logic Abstract algebra

UPDATE